Partial Proof Trees, Hybrid Logic, and Quantifier Scope

We argue that a fundamental theoretical difference between the resourcelogical and Minimalist frameworks is the computation of a semantic representation that can capture quantifier scope ambiguity. We discuss an approach to handling such data within the context of a system of categorial inference based on the use of hybrid logic to impose two different levels of composition, and suggest that this analysis can be seen as a ”middle-ground” between the resource-logical and Minimalist approaches. We believe that this makes a significant contribution to the investigation of the connections between the Minimalist and resource-logical frameworks.